#include<stdio.h>
int hh(int n)
{
    return n*hh(n-1);
}   
int main()
{
    int ch;
    ch=getchar();
    printf("%d",hh(ch));
}
